1. Computer Aided Verification
پدیدآورنده : \ Daniel Kroening , Corina S. Păsăreanu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer software -- Verification -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستیآزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47C6
2015
E-Book
,
